Section: New Software and Platforms

HEPTANE

Static analyser of Worst-Case Execution Time

Keyword: WCET

Functional Description

The aim of Heptane is to produce upper bounds of the execution times of applications. It is targeted at applications with hard real-time requirements (automotive, railway, aerospace domains). Heptane computes WCETs using static analysis at the binary code level. It includes static analyses of microarchitectural elements such as caches and cache hierarchies.

Status: Registered with APP (Agence de Protection des Programmes). Available under GNU General Public License v3, with number IDDN.FR.001.510039.000.S.P.2003.000.10600.

• Participants: Isabelle Puaut, Damien Hardy, Benjamin Lesage, Thomas Piquet and François Joulaud

• Partner: Université de Rennes 1

• Contact: Isabelle Puaut or Damien Hardy

• URL: https://team.inria.fr/alf/software/heptane/